One of several theories of sets used in the discussion of the foundations of mathematics; defined informally, in natural language.